Learning Tractable Probabilistic Models for Fault Localization Aniruddh Nath and Pedro Domingos arXiv:1507.01698v1 [cs.SE] 7 JulDepartment of Computer Science & Engineering

Source URL: arxiv.org

• Engineering
• Software engineering
• Software
• Debugging
• Cybernetics
• Learning
• Machine learning
• Software testing
• Artificial neural network
• Reliability engineering
• Debugger
• Topic model

Scientific Report First name / Family name Dr. Dimitrios Simos

Source URL: fellowship.ercim.eu

• Cryptography
• Computing
• Security
• Engineering
• SimOS
• Computer science
• Software testing
• Institute for Applied Information Processing and Communications
• International Conference on Availability
• Reliability and Security
• Computer security
• Post-quantum cryptography

PDF Document

Source URL: www.isystem.com

• Computing
• Software engineering
• Embedded systems
• Avionics
• Software testing
• Safety engineering
• Software requirements
• DO-178B
• Code coverage
• Programming tool
• DO-178C
• Profiling

Microsoft PowerPoint - Disciplined Agile Delivery_Tropeano_FINAL.ppt [Compatibility Mode]

Source URL: www-950.ibm.com

• Software development
• Agile software development
• Project management
• Software development process
• Software project management
• Management
• Disciplined agile delivery
• Agile
• Scrum
• Software testing
• Agile management

A Metacomputation Toolkit for a Subset of F# and Its Application to Software Testing. Towards Metacomputation for the Masses (meta 2012)

Source URL: meta2012.pereslavl.ru

A Metacomputation Toolkit for a Subset of F# and Its Application to Software Testing. Towards Metacomputation for the Masses (meta 2012)

Source URL: meta2012.pereslavl.ru

Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations Chad Brubaker ∗ †

Source URL: tls.mbed.org

• Cryptographic software
• Public-key cryptography
• Transport Layer Security
• Key management
• Public key infrastructure
• Certificate authority
• X.509
• OpenSSL
• Public key certificate
• GnuTLS
• Root certificate
• Cryptlib

Software Security Research Group (SSRG), University of Ottawa In collaboration with IBM Solving Some Modeling Challenges when Testing Rich Internet Applications for Security

Source URL: www.spacios.eu

Software Testing & Certification Overview Bad software is one of the leading reasons for information security breaches and concerns. Bad software will expose your electronic voting technologies and enterprise systems to

Source URL: www.data-defenders.com

7. Testing and Results. ***DRAFT*** @K.J.Smith, 2008. http://www.KJSmith.net 7.1 Software Testing. Software testing was conducted in five phases:

Source URL: project.kjsmith.net